Science

Results: 788472



#Item
251On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-06-19 11:02:11
252ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2017-07-25 18:51:20
253Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

Add to Reading List

Source URL: cims.nyu.edu

Language: English - Date: 2015-11-01 13:02:43
254Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-30 15:10:48
255CS378, MA375T, PHY341 Homework 3 Homework 3 Introduction to Quantum Information Science

CS378, MA375T, PHY341 Homework 3 Homework 3 Introduction to Quantum Information Science

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-08-28 17:54:15
256Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED

Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED

Add to Reading List

Source URL: www.voelter.de

Language: English - Date: 2018-05-23 13:30:47
257A Large Public Corpus of Web Tables containing Time and Context Metadata Oliver Lehmberg, Dominique Ritze, Robert Meusel, Christian Bizer Data and Web Science Group, University of Mannheim, Mannheim, Germany {oli,domini

A Large Public Corpus of Web Tables containing Time and Context Metadata Oliver Lehmberg, Dominique Ritze, Robert Meusel, Christian Bizer Data and Web Science Group, University of Mannheim, Mannheim, Germany {oli,domini

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:52:12
258Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA

Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:34:48
259Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published

Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2008-02-05 14:26:41
260Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni

Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2018-04-25 11:34:43